1. Theorem proving in higher order logics : 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings
پدیدآورنده : Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
3223
